Expressiveness of verifiable hierarchical clock systems

نویسندگان

  • Moon Ho Hwang
  • Bernard P. Zeigler
چکیده

The modelling and analysis of multi-component discrete event systems is a challenging research area. Over 30 years, modelling and simulation research of discrete event system specification (DEVS) has been developed with (1) dense-time, (2) the I/O concept, and (3) hierarchical model construction. Nevertheless, DEVS model verification research began relatively recently considering the whole DEVS research history. In the meantime, over 15 years, the automata theory has been developed to cover the dense-time behavior verification of discrete event systems. Especially, timed automata (TA) has performed the key role in the field. This paper builds on the research results that have been achieved from both theories of DEVS and TA. Thus contributions of this paper can be seen from each side. From the viewpoint of the DEVS theory, a finite and nondeterministic DEVS has been found as a verifiable class. From the view point of the TA theory, a TA which is modular and hierarchical as well as verifiable, is proposed. To show the results, this paper uses the top down manner in which a general formalism is defined first and then its sub-classes are introduced.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

نقش ابرازگری هیجانی و عوامل جمعیت شناختی در پیش بینی رضایت زناشویی زنان

The present study examined the relationship between demographic factors, emotional expressiveness and marital satisfaction among married women. Method: The study had application aims and was a correlation research. The statistical population was study of all married women in Tehran’s 5th regions, in 1392. The sample included 282 married women who were selected availability. The instrument...

متن کامل

High-performance and Low-power Clock Branch Sharing Pseudo-NMOS Level Converting Flip-flop

Multi-Supply voltage design using Cluster Voltage Scaling (CVS) is an effective way to reduce power consumption without performance degradation. One of the major issues in this method is performance and power overheads due to insertion of Level Converting Flip-Flops (LCFF) at the interface from low-supply to high-supply clusters to simultaneously perform latching and level conversion. In this p...

متن کامل

Fuzzy Hierarchical Location-Allocation Models for Congested Systems

There exist various service systems that have hierarchical structure. In hierarchical service networks, facilities at different levels provide different types of services. For example, in health care systems, general centers provide low-level services such as primary health care services, while the specialized hospitals provide high-level services. Because of demand congestion in service networ...

متن کامل

An Efficient Threshold Verifiable Multi-Secret Sharing Scheme Using Generalized Jacobian of Elliptic Curves

‎In a (t,n)-threshold secret sharing scheme‎, ‎a secret s is distributed among n participants such that any group of t or more participants can reconstruct the secret together‎, ‎but no group of fewer than t participants can do‎. In this paper, we propose a verifiable (t,n)-threshold multi-secret sharing scheme based on Shao and Cao‎, ‎and the intractability of the elliptic curve discrete logar...

متن کامل

The Role of Parental Mediation in the Relationship between Adolescents’ Use of Social Media and Family Relationships in Saudi Arabia

This study aimed to examine the impact of parenting mediation strategies on family relationships and social media use among Saudi adolescents. To achieve the aim, a quantitative research design was used, involving questionnaires with data collected from 393 Saudi students aged 13-18 years. Pearson correlation and hierarchical multiple regression analyses were performed. The key findings of this...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Int. J. General Systems

دوره 37  شماره 

صفحات  -

تاریخ انتشار 2008